

\functions {
	int a; int b; int c; int d;
}

\problem {
	10*b = a & a >= 0
->
	b >= 0
}


